Hausdorff uzay ya da T<sub>2</sub> uzay ya da ayrılmış uzay, herhangi iki noktasının birbirinden ayrık komşuluklara sahip olduğu topolojik uzay. Bir topolojik uzayı geometrik sezgiye yakın duruma getiren ilk kabullerden biri Hausdorffluk koşuludur (ya da T<sub>2</sub> koşulu). Örneğin bir Hausdorff uzayın her bir noktası, kapalı bir altuzaydır. Ayrıca bir Hausdorff uzayda her yakınsak dizinin, ağın ya da süzgecin yakınsadığı nokta tektir. Hausdorff koşulu, ilk olarak Alman matematikçi Felix Hausdorff tarafından önerilmiş ve onun adıyla anılır olmuştur.
X bir topolojik uzay olsun. Alınan herhangi iki noktası x<sub>1</sub> ve x<sub>2</sub> için iki açık komşuluk bulunabiliyorsa (U<sub>1</sub> ve U<sub>2</sub> olsun) ve bu komşuluklar birbirinden ayrıksa, yani U<sub>1</sub> ∩ U<sub>2</sub> = ∅ ise, X uzayına Hausdorff denir. Herhangi nokta çifti için böyle ayrık komşulukları bulunabilme koşuluna Hausdorff (T<sub>2</sub>) koşulu ya da beliti denir. Bu koşul, bir topolojik uzay üzerine konulan ayrılma belitlerinden biridir.
Bir X Hausdorff uzayda sonlu sayıda noktadan oluşan kümeler kapalıdır. Aslında bunun için X'in T<sub>1</sub> uzay olması yeterlidir.
Bir x noktasının X 'in bir A altkümesinin limit noktası olması durumunda, x noktasının her komşuluğu A kümesinden sonsuz tane eleman içerir. Bunun tersi ise X 'in Hausdorff olduğuna bakmaksızın her durumda doğrudur.
X 'te tüm tıkız altuzaylar kapalıdır.
Bir Hausdorff uzayın her bir altuzayı da Hausdorff'tur. İki Hausdorff uzayın (kartezyen) çarpım uzayı Hausdorff'tur.
Bir X topolojik uzayının Hausdorff olmasıyla şu durumlar birbirine denktir:
Orijinal kaynak: hausdorff uzay. Creative Commons Atıf-BenzerPaylaşım Lisansı ile paylaşılmıştır.
Ne Demek sitesindeki bilgiler kullanıcılar vasıtasıyla veya otomatik oluşturulmuştur. Buradaki bilgilerin doğru olduğu garanti edilmez. Düzeltilmesi gereken bilgi olduğunu düşünüyorsanız bizimle iletişime geçiniz. Her türlü görüş, destek ve önerileriniz için iletisim@nedemek.page